dfa for binary multiples of k